Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
901	The Boost Statechart Library - Rationale Page 1 of 10 The Boost Statechart Library Add to Reading List Source URL: www.boost.org Language: English - Date: 2007-11-25 13:38:02 Computer programming UML diagrams Automata theory Digital electronics Programming paradigms UML state machine State diagram Finite-state machine Exception handling Computing Software engineering Models of computation
902	Expressiveness of streaming string transducers Rajeev Alur1 and Pavol Černý[removed]University of Pennsylvania Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-12-13 12:13:47 Theoretical computer science Software engineering Models of computation Data types Primitive types Finite state transducer Finite-state machine Regular language String Formal languages Automata theory Mathematics
903	Virtual Earthquake and seismology Research Community e-‐science environment in Europe Project 283543 – FP7-‐INFRASTRUCTURES-‐2011-‐2 – www. Add to Reading List Source URL: www.verce.eu Language: English - Date: 2014-10-21 10:04:44 Workflow Computing Business Models of computation Supercomputers Workflow technology Groupware Management
904	The Theory of Trackability with Applications to Sensor Networks VALENTINO CRESPI California State University at Los Angeles GEORGE CYBENKO Dartmouth College Add to Reading List Source URL: www.dartmouth.edu Language: English - Date: 2011-02-03 16:20:33 Matrix Wireless sensor network Büchi automaton Finite-state machine Computing Technology Mathematics Automata theory Models of computation Deterministic finite automaton
905	Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models Matthias Althoff and John M. Dolan Abstract— We present an approach to verify the planned maneuvers of an autom Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2013-10-23 12:14:24 Applied mathematics Constructible universe FO Differential equation Matrix exponential Science Control theory Mathematics State space
906	Designing Object Systems Object-Oriented Modelling with Syntropy Steve Cook & Add to Reading List Source URL: www.syntropy.co.uk Language: English - Date: 2010-04-14 02:58:52 Graph drawing Infographics State diagram Finite-state machine Conceptual model Ethology Software engineering Models of computation Diagrams Theoretical computer science
907	Cost Models based on the λ-‐Calculus or The Church Calculus the Other Turing Machine Guy Blelloch Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2015-02-06 16:30:16 Mathematics Algorithm Mathematical logic Models of computation Simula L SC Turing machine Theoretical computer science Applied mathematics Complexity classes
908	Error-tolerant Finite-state Recognition with Applications to Morphological Analysis and Spelling Correction Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-20 11:43:28 Theoretical computer science Grammar Finite state transducer Formal grammar Finite-state machine Morphology Computer science Linguistics Formal languages Automata theory Models of computation
909	The Philosophy of Computer Science and Artificial Intelligence ESF Ponta Delgada Workshop Program September 7-10, 2011 (as of July 4, [removed]Wednesday September 7 th Add to Reading List Source URL: www.pse-esf.org Language: English - Date: 2012-12-21 03:43:42 Quantum cryptography Information theory Models of computation Quantum computer Quantum information Dennis Dieks Quantum mechanics Pieter Kok Theoretical computer science Applied mathematics Computational complexity theory
910	Realizability is controllability Niels Lohmann and Karsten Wolf Universit¨ at Rostock, Institut f¨ ur Informatik,  Rostock, Germany {niels.lohmann, karsten.wolf}@uni-rostock.de Add to Reading List Source URL: CEUR-WS.org Language: English - Date: 2009-02-24 07:57:14 Deterministic finite automaton Finite-state machine Automata theory Models of computation Realizability

UPDATE